crc32 encode